﻿<%@ Page Language="C#" AutoEventWireup="true" CodeBehind="Default.aspx.cs" Inherits="bit.Default" %>

<%@ Register src="TeachingPlan.ascx" tagname="TeachingPlan" tagprefix="uc1" %>

<!DOCTYPE html>

<html xmlns="http://www.w3.org/1999/xhtml">
<head runat="server">
    <title>bit</title>
	<meta name="keywords" content="bool,boolean,logic,proposition,predicate,first order logic, quantifier, second order logic,higher order logic,godel theorem" />
	<meta name="description" content="" />
</head>
<body>
    <form id="form1" runat="server">
    <div>
    
    	<uc1:TeachingPlan ID="TeachingPlan1" runat="server" />
		<p>
			本专题包含如下资料：</p>
		<ul>
			<li><a href="bit.ppt">PPT</a></li>
		</ul>
    
    </div>
    </form>
</body>
</html>
